" Hasenjaeger G." скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Mathematical interpretation of formal systems

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

740 Kb

#2

Logic and Machines: Decision Problems and Complexity

E. Börger, G. Hasenjaeger, D. Rödding

Категория: Cs_Computer science, CsLn_Lecture notes

3.29 Mb